منابع مشابه
On computability and disintegration
We show that the disintegration operator on a complete separable metric space along a projection map, restricted to measures for which there is a unique continuous disintegration, is strongly Weihrauch equivalent to the limit operator Lim. When a measure does not have a unique continuous disintegration, we may still obtain a disintegration when some basis of continuity sets has the Vitali cover...
متن کاملOn Computability
concepts that cut across different areas of mathematics. Logical formality per se does not facilitate the finding of arguments from given assumptions to a particular conclusion. However, strategic considerations can be formulated (for natural deduction calculi) and help to bridge the gap between assumptions and conclusion, suggesting at least a very rough structure of arguments. These logical s...
متن کاملTuring and Post on Computability
[Turing then gives his formal definitions and in particular says that for a real number or function on the natural numbers to be computable it must be computable by amachine that gives an output for every input.] No attempt has yet been made to show that the "computable" numbers include all numbers which would naturally be regarded as computable. All arguments which can be given are bound to be...
متن کاملGödel on Turing on Computability
In section 9 of his paper, “On Computable Numbers,” Alan Turing outlined an argument for his version of what is now known as the Church–Turing thesis: “the [Turing machine] ‘computable’ numbers include all numbers which would naturally be regarded as computable” [p. 135]. The argument, which relies on an analysis of calculation by an (ideal) human, has attracted much attention in recent years. ...
متن کاملand Soviet :union:'s Soft Disintegration
One of the main factors leading to the collapse of USSR is soft and non-military aspect. Unlike western and US attitude toward USSR's disintegration that attributes this event to themselves and their measures especially soft and media war, Islamic revolution of Iran has been ignored while it is the most basic phenomenon that has deeply influenced disintegration of USSR. Two key factors should ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Structures in Computer Science
سال: 2016
ISSN: 0960-1295,1469-8072
DOI: 10.1017/s0960129516000098